AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[N, Tr, S*g, b*S, nu + d*g, nu*g + nu*a, nu + g + a, In*g + Tr*g + Tr*a]
